Points and Co-points in Formal Topology
نویسنده
چکیده
Sunto Dopo una breve introduzione delle principali idee della topologia formale [Sam87] vengono introdotte le nozioni di punto e co-punto. Si presentano quindi alcuni metodi per costruire punti e co-punti in opportune topologie formali e si forniscono alcune applicazioni logiche di tali costruzioni 1 .
منابع مشابه
On co-Farthest Points in Normed Linear Spaces
In this paper, we consider the concepts co-farthest points innormed linear spaces. At first, we define farthest points, farthest orthogonalityin normed linear spaces. Then we define co-farthest points, co-remotal sets,co-uniquely sets and co-farthest maps. We shall prove some theorems aboutco-farthest points, co-remotal sets. We obtain a necessary and coecient conditions...
متن کاملA Geometry Preserving Kernel over Riemannian Manifolds
Abstract- Kernel trick and projection to tangent spaces are two choices for linearizing the data points lying on Riemannian manifolds. These approaches are used to provide the prerequisites for applying standard machine learning methods on Riemannian manifolds. Classical kernels implicitly project data to high dimensional feature space without considering the intrinsic geometry of data points. ...
متن کاملOn the formal points of the formal topology of the binary tree
Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have been obtained by using this approach. Here we analyze one of the main concepts in formal topology, namely, the notion of formal point. We will contrast two classically equivalent definitions of formal points and we will see that...
متن کاملA New Approach for Determination of Break Points for Protection Co-Ordination
Interconnected power system networks are multi loop structured. Settings determination of all over current and distance relays in such networks can be in different forms and complicated. The main problem is the determination of starting points i.e. the location of starting relays in the procedure for settings, which is referred to as break points. In this paper, a new approach based on graph th...
متن کاملApartness and formal topology
The theory of formal spaces and the more recent theory of apartness spaces have a priori not much more in common than that each of them was initiated as a constructive approach to general topology. We nonetheless try to do the first steps in relating these competing theories to each other. Formal topology was put forward in the mid 1980s by Sambin [8] in order to make available to Martin–Löf’s ...
متن کامل